<html>
<head><meta charset="utf-8"><title>match on ! · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html">match on !</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="148212725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212725">(Nov 23 2018 at 07:08)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@Mazdak Farrokhzad</span> hi there :D</p>



<a name="148212729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212729">(Nov 23 2018 at 07:08)</a>:</h4>
<p>this UI makes no sense <span class="emoji emoji-1f615" title="confused">:confused:</span> why did I end up in staged-compilation...? <span class="emoji emoji-1f615" title="confused">:confused:</span></p>



<a name="148212730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212730">(Nov 23 2018 at 07:08)</a>:</h4>
<blockquote>
<p>"so match b { x =&gt; ... } where b: &amp;! does not dereference, and hence no UB".... it seems to me that then it means that let b: &amp;! = ...; match b {} won't typeck</p>
</blockquote>
<p>maybe</p>



<a name="148212734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212734">(Nov 23 2018 at 07:08)</a>:</h4>
<blockquote>
<p>this UI makes no sense :/ why did I end up in staged-compilation...? :/</p>
</blockquote>
<p>it's got a slightly steeper learning curve than Discord, true</p>



<a name="148212738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212738">(Nov 23 2018 at 07:09)</a>:</h4>
<p>but then, so does Rust, so I am sure you can manage :P</p>



<a name="148212746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212746">(Nov 23 2018 at 07:09)</a>:</h4>
<p>nah; Rust didn't really have a steep learning curve for me ;)</p>



<a name="148212749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212749">(Nov 23 2018 at 07:09)</a>:</h4>
<p>so for matches, I think we should have a pattern <code>!</code> for "this is a 0-variant enum"</p>



<a name="148212757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212757">(Nov 23 2018 at 07:10)</a>:</h4>
<p>and if a pattern contains a ! it needs no code</p>



<a name="148212790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212790">(Nov 23 2018 at 07:10)</a>:</h4>
<p>so, with <code>b: !</code>, could could do <code>match b { ! }</code></p>



<a name="148212791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212791">(Nov 23 2018 at 07:10)</a>:</h4>
<p>Agda does something similar iirc</p>



<a name="148212793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212793">(Nov 23 2018 at 07:10)</a>:</h4>
<p>with <code>b: (!, i32)</code> you could do <code>match b { (!, _) }</code></p>



<a name="148212795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212795">(Nov 23 2018 at 07:10)</a>:</h4>
<p>and with <code>b: &amp;!</code>, you could do <code>match b { &amp;! }</code></p>



<a name="148212801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212801">(Nov 23 2018 at 07:11)</a>:</h4>
<p>with <code>b: Result&lt;T, !&gt;</code>, you could do <code>match b { Err(!), Ok(t) =&gt; ... }</code></p>



<a name="148212802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212802">(Nov 23 2018 at 07:11)</a>:</h4>
<p>and any of these would be UB do actually ever "hit" the <code>!</code> branch</p>



<a name="148212805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212805">(Nov 23 2018 at 07:11)</a>:</h4>
<p>as that would be "reading the disrciminant of an empty enum/!"</p>



<a name="148212808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212808">(Nov 23 2018 at 07:11)</a>:</h4>
<p><a href="https://agda.readthedocs.io/en/v2.5.2/language/function-definitions.html#absurd-patterns" target="_blank" title="https://agda.readthedocs.io/en/v2.5.2/language/function-definitions.html#absurd-patterns">https://agda.readthedocs.io/en/v2.5.2/language/function-definitions.html#absurd-patterns</a></p>



<a name="148212810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212810">(Nov 23 2018 at 07:11)</a>:</h4>
<p>so this gives us a language to talk about pattern matching with empty types in a precise way</p>



<a name="148212851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212851">(Nov 23 2018 at 07:12)</a>:</h4>
<p>and then we can talk about syntactic sugar and automatically introducing such patterns</p>



<a name="148212852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212852">(Nov 23 2018 at 07:12)</a>:</h4>
<p>I do like the idea of a ! pattern; it provides an in-language desugaring</p>



<a name="148212853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212853">(Nov 23 2018 at 07:12)</a>:</h4>
<p>like, <code>match b {}</code> with <code>b: !</code> could desugar to <code>match b { ! }</code></p>



<a name="148212857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212857">(Nov 23 2018 at 07:12)</a>:</h4>
<p>which is good for teaching</p>



<a name="148212861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212861">(Nov 23 2018 at 07:12)</a>:</h4>
<p>and we have a way to tweak how smart we make this sugar</p>



<a name="148212865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212865">(Nov 23 2018 at 07:12)</a>:</h4>
<p>niko wrote this down somewhere but I am not sure where... IRLO I think?</p>



<a name="148212871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212871">(Nov 23 2018 at 07:13)</a>:</h4>
<p>yeah; this was the thing that Niko talked about in his blog post; <a href="http://smallcultfollowing.com/babysteps/blog/2018/08/13/never-patterns-exhaustive-matching-and-uninhabited-types-oh-my/" target="_blank" title="http://smallcultfollowing.com/babysteps/blog/2018/08/13/never-patterns-exhaustive-matching-and-uninhabited-types-oh-my/">http://smallcultfollowing.com/babysteps/blog/2018/08/13/never-patterns-exhaustive-matching-and-uninhabited-types-oh-my/</a></p>



<a name="148212875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212875">(Nov 23 2018 at 07:13)</a>:</h4>
<p><a href="https://internals.rust-lang.org/t/blog-post-never-patterns-exhaustive-matching-and-uninhabited-types/8197" target="_blank" title="https://internals.rust-lang.org/t/blog-post-never-patterns-exhaustive-matching-and-uninhabited-types/8197">https://internals.rust-lang.org/t/blog-post-never-patterns-exhaustive-matching-and-uninhabited-types/8197</a></p>



<a name="148212917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212917">(Nov 23 2018 at 07:14)</a>:</h4>
<p>ah yes, that was it</p>



<a name="148212918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212918">(Nov 23 2018 at 07:14)</a>:</h4>
<p>he wrote that post after we had a long chat</p>



<a name="148212921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212921">(Nov 23 2018 at 07:14)</a>:</h4>
<p>I'm down with the general idea of <code>match b { ! }</code></p>



<a name="148212934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212934">(Nov 23 2018 at 07:15)</a>:</h4>
<p>and yes I am not surprised agda has something like this</p>



<a name="148212972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212972">(Nov 23 2018 at 07:16)</a>:</h4>
<p>they have fancy pattern matching and a decent type system</p>



<a name="148212978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212978">(Nov 23 2018 at 07:16)</a>:</h4>
<p>such patterns are pretty much a given then, I think</p>



<a name="148212981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212981">(Nov 23 2018 at 07:16)</a>:</h4>
<p>yup</p>



<a name="148212984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212984">(Nov 23 2018 at 07:16)</a>:</h4>
<p>(pressing <code>r</code> all the time is annoying...)</p>



<a name="148212987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212987">(Nov 23 2018 at 07:17)</a>:</h4>
<p>so why do you?</p>



<a name="148212992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148212992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148212992">(Nov 23 2018 at 07:17)</a>:</h4>
<p>oh you can press enter as well</p>



<a name="148213044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213044">(Nov 23 2018 at 07:18)</a>:</h4>
<p>once you are in a topic, you can just chat like with any other service</p>



<a name="148213045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213045">(Nov 23 2018 at 07:18)</a>:</h4>
<p>except that you also get keyboard-only navigation for quoting and mentioning people :D</p>



<a name="148213065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213065">(Nov 23 2018 at 07:19)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> yeah but in Discord I don't have to press enter/r and I can just click the message box and stay there</p>



<a name="148213073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213073">(Nov 23 2018 at 07:19)</a>:</h4>
<p>yeah I do that here too</p>



<a name="148213076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213076">(Nov 23 2018 at 07:19)</a>:</h4>
<p>type message, enter-to-send. type message, enter-to-send.</p>



<a name="148213083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213083">(Nov 23 2018 at 07:19)</a>:</h4>
<p>but how? you first have to press enter/r or click "reply"?</p>



<a name="148213124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213124">(Nov 23 2018 at 07:20)</a>:</h4>
<p>no? you are already in the topic</p>



<a name="148213129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213129">(Nov 23 2018 at 07:20)</a>:</h4>
<p>it shows the topic above the msg box, to the right of the stream</p>



<a name="148213140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213140">(Nov 23 2018 at 07:20)</a>:</h4>
<p>yes but to send a message?</p>



<a name="148213146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213146">(Nov 23 2018 at 07:20)</a>:</h4>
<p>...?</p>



<a name="148213153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213153">(Nov 23 2018 at 07:21)</a>:</h4>
<p>after sending a message, the text box at the bottom stays open</p>



<a name="148213155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213155">(Nov 23 2018 at 07:21)</a>:</h4>
<p>you just type the next message</p>



<a name="148213156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213156">(Nov 23 2018 at 07:21)</a>:</h4>
<p>I am confused, never had any problem^^</p>



<a name="148213158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213158">(Nov 23 2018 at 07:21)</a>:</h4>
<p>it doesn't for me <span class="emoji emoji-1f615" title="confused">:confused:</span></p>



<a name="148213168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213168">(Nov 23 2018 at 07:21)</a>:</h4>
<p>I think per default it might use Ctrl-Enter for sending, there is a checkbox to configure that below the chat box</p>



<a name="148213169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213169">(Nov 23 2018 at 07:21)</a>:</h4>
<p>it gets closed and stuff</p>



<a name="148213170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213170">(Nov 23 2018 at 07:21)</a>:</h4>
<p>yeah I checked that box</p>



<a name="148213172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213172">(Nov 23 2018 at 07:21)</a>:</h4>
<p>it only gets closed when I click on a new message</p>



<a name="148213214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213214">(Nov 23 2018 at 07:22)</a>:</h4>
<p>test</p>



<a name="148213216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213216">(Nov 23 2018 at 07:22)</a>:</h4>
<p>or use the arrow keys to navigate</p>



<a name="148213220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213220">(Nov 23 2018 at 07:22)</a>:</h4>
<p>oh... this is some shitty UX</p>



<a name="148213226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213226">(Nov 23 2018 at 07:22)</a>:</h4>
<p>anyways... back to patterns...</p>



<a name="148213239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213239">(Nov 23 2018 at 07:23)</a>:</h4>
<p>not sure what you did to close the box?^^</p>



<a name="148213240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213240">(Nov 23 2018 at 07:23)</a>:</h4>
<p>I had way more trouble with discord's UX than this one, FWIW (subscribing me to all channels of the server at once, seriously? separating PMs from channels? the mouse taking precedence over the keyboard during @autocomplection? not to mention an unreadable default font+size...)</p>



<a name="148213279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213279">(Nov 23 2018 at 07:24)</a>:</h4>
<p>but I guess the perfect chat service has still to be created</p>



<a name="148213289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213289">(Nov 23 2018 at 07:24)</a>:</h4>
<p>ah, there's nothing like a train getting delayed when you have to catch a flight</p>



<a name="148213306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213306">(Nov 23 2018 at 07:25)</a>:</h4>
<p>where are you going?</p>



<a name="148213308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213308">(Nov 23 2018 at 07:25)</a>:</h4>
<p>RustFest :D</p>



<a name="148213310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/match%20on%20%21/near/148213310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/match.20on.20!.html#148213310">(Nov 23 2018 at 07:25)</a>:</h4>
<p>cool</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>